Minor tweak for earlier display.texi change
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 07:50:29 +0000 (23:50 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 07:50:29 +0000 (23:50 -0800)
commit412de97224af7c79e4d9352f23905ce9d8c78247
tree181ca4654701e798b7d9fee93e2fa20bab603c15
parentd0c3fa73673c875ec56a6c22af46e811d0344f45
Minor tweak for earlier display.texi change
doc/lispref/display.texi